COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00030 ENDMK
C⊗;



Host name or number: 
GODEL.EE.UTEXAS.EDU is number 128.83.1.83, 128.83.132.83,
a server SUN-2/120 machine running UNIX.

GODEL.HARVARD.EDU is number 128.103.1.10,
a server SUN-2/120 machine running UNIX.


Host name or number: 
HILBERT.DB.MCC.COM is number 192.12.59.52,
a server SUN-2/50 machine running UNIX.


Host name or number: 
KLEENE.DB.MCC.COM is number 192.12.59.36,
a server SUN-2/50 machine running UNIX.

KLEENE.UTEXAS.EDU is number 128.83.1.208,
a server SYMBOLICS-3640 machine running LISPM.


Host name or number: 
QUINE.DB.MCC.COM is number 192.12.59.58,
a server SUN-3/75 machine running UNIX.


Host name or number: 
FREGE.DB.MCC.COM is number 192.12.59.44,
a server SUN-2/50 machine running UNIX.


Host name or number: 
Russell is a nickname for RUSSELL.STANFORD.EDU, which is number 36.9.0.9, SU 11#11,
a server VAX-11/750 machine running UNIX.


Host name or number: 
WHITEHEAD.DB.MCC.COM is number 192.12.59.22,
a server SUN-2/50 machine running UNIX.

WHITEHEAD.UTEXAS.EDU is number 128.83.1.210,
a server SYMBOLICS-3640 machine running LISPM.


Host name or number: 
CHURCH.DB.MCC.COM is number 192.12.59.33,
a server SUN-2/50 machine running UNIX.


Host name or number: 
kripke
Unknown host name

Host name or number: 
leibniz
Unknown host name

Host name or number: 
newton
NEWTON.ECE.CMU.EDU is number 128.2.251.5,
a server VAX-11/750 machine running VMS.

NEWTON.MIT.EDU is number 18.87.0.11,
a server SUN machine running UNIX.

NEWTON.PHYSICS.PURDUE.EDU is number 128.46.135.1, 128.46.136.1, 128.46.151.1,
a server VAX-11/750 machine running UNIX.


Host name or number: 
archimedes
ARCHIMEDES.DB.MCC.COM is number 192.12.59.31,
a server SUN-2/50 machine running UNIX.

ARCHIMEDES.MIT.EDU is number 18.87.0.9,
a server SUN machine running UNIX.


Host name or number: 
aristotle
Unknown host name

Host name or number: 
gentzen
Unknown host name

Host name or number: 
brouwer
Unknown host name

Host name or number: 
bishop
BISHOP.AI.SRI.COM is number 192.12.5.13,
a server SYMBOLICS-3600 machine running LISPM.

Host name or number: 
skolem
Unknown host name

Host name or number: 
galileo
GALILEO is number 36.22.0.145,
a user MICROVAX machine running UNIX.


Host name or number: 
laplace
LAPLACE.DB.MCC.COM is number 192.12.59.24,
a server SUN-2/50 machine running UNIX.


Host name or number: 
lagrange
Unknown host name

Host name or number: 
planck
PLANCK.STANFORD.EDU is number 36.65.0.23,
a user SUN-3/160 machine running UNIX.


Host name or number: 
einstein
EINSTEIN.DB.MCC.COM is number 192.12.59.10,
a server SUN-2/170 machine running UNIX.


Host name or number: 
feynman
Unknown host name

Host name or number: 
tolman
Unknown host name

Host name or number: 
glenn
Unknown host name

Host name or number: 
gagarin
Unknown host name

Host name or number: 
reagan
REAGAN.AI.MIT.EDU is number 128.52.22.53,
a server SYMBOLICS-3600 machine running LISPM.


Host name or number: 
carter
Unknown host name

Host name or number: 
ford
FORD-COS1.ARPA is number 128.5.34.1,
a server VAX-11/780 machine running UNIX.

FORD-COS2.ARPA is number 128.5.34.2,
a server PDP-11/70 machine running UNIX.

FORD-ECC.ARPA is number 128.5.0.11,
a server H-68 machine running MULTICS.

FORD-EED.ARPA is number 128.5.0.14,
a server LSI-11/23 machine running FUZZ.

FORD-ERS.ARPA is number 128.5.0.13,
a server LSI-11/23 machine running MOS.

FORD-FOE.ARPA is number 128.5.0.15,
a server LSI-11/23 machine running FUZZ.

FORD-HOU1.ARPA is number 128.5.35.1,
a server VAX-11/780 machine running UNIX.

FORD-LAB.ARPA is number 128.5.0.8,
a server LSI-11/23 machine running FUZZ.

FORD-RES.ARPA is number 128.5.0.10,
a server DEC-2060 machine running TOPS20.

FORD-SCF1.ARPA is number 128.5.33.1,
a server VAX-11/780 machine running UNIX.

FORD-SRL.ARPA is number 128.5.0.12,
a server LSI-11/23 machine running FUZZ.

FORD-VAX.ARPA is number 128.5.0.9,
a server VAX-11/780 machine running VMS.

FORD-WDL1.ARPA is number 128.5.32.1,
a server VAX-11/780 machine running UNIX.

FORD-WDL10.ARPA is number 128.5.32.10,
a user M-6800 machine running VRTX.

FORD-WDL17.ARPA is number 128.5.32.17,
a server MC500 machine running UNIX.

FORD-WDL18.ARPA is number 128.5.32.18,
a server IMAGEN-8/300 machine running UNIX.

FORD-WDL19.ARPA is number 128.5.32.19,
a user unknown machine running an unknown operating system.

FORD-WDL2.ARPA is number 128.5.32.2,
a server PDP-11/70 machine running UNIX.

FORD-WDL20.ARPA is number 128.5.32.20,
a server SUN-2/170 machine running UNIX.

FORD-WDL21.ARPA is number 128.5.32.21,
a server SUN-2/120 machine running UNIX.

FORD-WDL22.ARPA is number 128.5.32.22,
a server SUN-2/120 machine running UNIX.

FORD-WDL23.ARPA is number 128.5.32.23,
a server SUN-2/120 machine running UNIX.

FORD-WDL24.ARPA is number 128.5.32.24,
a server SUN-2/120 machine running UNIX.

FORD-WDL25.ARPA is number 128.5.32.25,
a server SUN-2/120 machine running UNIX.

FORD-WDL26.ARPA is number 128.5.32.26,
a server SUN-2/120 machine running UNIX.

FORD-WDL27.ARPA is number 128.5.32.27,
a server SUN-2/120 machine running UNIX.

FORD-WDL28.ARPA is number 128.5.32.28,
a server SUN-2/120 machine running UNIX.

FORD-WDL29.ARPA is number 128.5.32.29,
a server SUN-2/120 machine running UNIX.

FORD-WDL3.ARPA is number 128.5.32.3,
a server PDP-11/34 machine running DCN.

FORD-WDL30.ARPA is number 128.5.32.30,
a server SUN machine running UNIX.

FORD-WDL31.ARPA is number 128.5.32.31,
a server SUN machine running UNIX.

FORD-WDL32.ARPA is number 128.5.32.32,
a server SUN machine running UNIX.

FORD-WDL33.ARPA is number 128.5.32.33,
a server SUN machine running UNIX.

FORD-WDL34.ARPA is number 128.5.32.34,
a server SUN machine running UNIX.

FORD-WDL35.ARPA is number 128.5.32.35,
a server SUN machine running UNIX.

FORD-WDL36.ARPA is number 128.5.32.36,
a server SUN machine running UNIX.

FORD-WDL37.ARPA is number 128.5.32.37,
a server SUN machine running UNIX.

FORD-WDL38.ARPA is number 128.5.32.38,
a server SUN machine running UNIX.

FORD-WDL39.ARPA is number 128.5.32.39,
a server SUN machine running UNIX.

FORD-WDL4.ARPA is number 128.5.32.4,
a server ONYX-Z8000 machine running UNIX.

FORD-WDL5.ARPA is number 128.5.32.5,
a server ONYX-Z8000 machine running UNIX.

FORD-WDL6.ARPA is number 128.5.32.6,
a user PDP-11/34 machine running DCN.

FORD-WDL8.ARPA is number 128.5.32.8,
a user M-6800 machine running VRTX.

FORD-WDL9.ARPA is number 128.5.32.9,
a user M-6800 machine running VRTX.

FORD.USC.EDU is number 192.5.10.43,
a server VAX-11/750 machine running VMS.

FORD1.ARPA is number 128.5.0.1,
a server LSI-11/23 machine running FUZZ.

FORD2.ARPA is number 128.5.0.2,
a server LSI-11/23 machine running FUZZ.

FORD3.ARPA is number 128.5.0.3,
a server LSI-11/23 machine running FUZZ.

FORD4.ARPA is number 128.5.0.4,
a server LSI-11/23 machine running FUZZ.


Host name or number: 
nixon
NIXON.USC.EDU is number 192.5.10.247,
a server SUN machine running UNIX.


Host name or number: 
johnson
Unknown host name

Host name or number: 
kennedy
Unknown host name

Host name or number: 
eisenhower
Unknown host name

Host name or number: 
truman
Unknown host name

Host name or number: 
roosevelt
Unknown host name

Host name or number: 
hoover
Unknown host name

Host name or number: 
coolidge
Unknown host name

Host name or number: 
harding
Unknown host name

Host name or number: 
wilson
Unknown host name

Host name or number: 
taft
Unknown host name

Host name or number: 
lincoln
Unknown host name

Host name or number: 
washington
WASHINGTON-ARPA-TAC.ARPA is number 10.2.0.91,
a user C/30 machine running TAC.

WASHINGTON.ARPA is a nickname for WARD.CS.WASHINGTON.EDU, which is number 10.0.0.91, 128.95.1.24,
a server DEC-2060 machine running TOPS20.


Host name or number: 
adams
ADAMS.CS.WASHINGTON.EDU is number 128.95.1.49,
a server IBM-RT machine running UNIX.


Host name or number: 
jefferson
Unknown host name

Host name or number: 
knuth
Unknown host name

Host name or number: 
mccarthy
MCCARTHY.ARPA is a nickname for MCCARTHY.UTEXAS.EDU, which is number 128.83.1.230,
a server SYMBOLICS-3640 machine running LISPM.


Host name or number: 
minsky
MINSKY.ARPA is a nickname for MINSKY.UTEXAS.EDU, which is number 128.83.1.231,
a server SYMBOLICS-3640 machine running LISPM.


Host name or number: 
newell
Unknown host name

Host name or number: 
simon
SIMON.UCHICAGO.EDU is number 128.135.20.86,
a server SUN machine running UNIX.


Host name or number: 
wirth
Unknown host name

Host name or number: 
hoare
Unknown host name

Host name or number: 
wilks
Unknown host name

Host name or number: 
forsythe
FORSYTHE-BRIDGE is a nickname for FORSYTHEBR, which is number 36.54.0.30,
a server unknown machine running an unknown operating system.

FORSYTHE.STANFORD.EDU is number 36.54.0.12,
a server IBM-3081 machine running MVS.


Host name or number: 
teller
Unknown host name

Host name or number: 
schrodinger
Unknown host name

Host name or number: 
heisenberg
Unknown host name

Host name or number: 
bohr
Unknown host name

Host name or number: 
maxwell
MAXWELL.ECE.CMU.EDU is number 128.2.251.3,
a server VAX-11/750 machine running UNIX.

MAXWELL.PHYSICS.PURDUE.EDU is number 128.46.135.3, 128.46.136.3,
a server IS-O/V24 machine running UNIX.


Host name or number: 
lorentz
Unknown host name

Host name or number: 
gauss
GAUSS.AS.UTEXAS.EDU is number 128.83.129.42,
a server SUN-2/120 machine running UNIX.

GAUSS.ECE.CMU.EDU is number 128.2.251.4,
a server VAX-11/780 machine running UNIX.

GAUSS.HARVARD.EDU is number 128.103.1.12,
a server SUN-2/120 machine running UNIX.

GAUSS.STANFORD.EDU is number 36.82.0.60,
a user SUN-3/160 machine running UNIX.


Host name or number: 
fermat
FERMAT.DB.MCC.COM is number 192.12.59.12,
a server SUN-2/50 machine running UNIX.

FERMAT.MIT.EDU is number 18.87.0.7,
a server SUN machine running UNIX.

FERMAT.RUTGERS.EDU is number 128.6.5.35,
a server SUN-3/180 machine running UNIX.


Host name or number: 
pascal
PASCAL.DB.MCC.COM is number 192.12.59.41,
a server SUN-2/50 machine running UNIX.


Host name or number: 
descartes
Unknown host name

Host name or number: 
kant
Unknown host name

Host name or number: 
hegel
Unknown host name

Host name or number: 
marx
Unknown host name

Host name or number: 
engels
Unknown host name

Host name or number: 
lenin
Unknown host name

Host name or number: 
stalin
Unknown host name

Host name or number: 
mao
Unknown host name

Host name or number: 
hitler
Unknown host name

Host name or number: 
churchill
Unknown host name

Host name or number: 
thatcher
Unknown host name

Host name or number: 
von-neumann
Unknown host name

Host name or number: 
von
Unknown host name

Host name or number: 
watson
WATSON is a nickname for SUWATSON, which is number 36.21.0.12,
a user unknown machine running an unknown operating system.


Host name or number: 
babbage
BABBAGE.HARVARD.EDU is number 128.103.1.19,
a server SUN-3/160 machine running UNIX.

BABBAGE.UTEXAS.EDU is number 128.83.132.92,
a server INTEL machine running UNIX.


Host name or number: 
boole
BOOLE.HARVARD.EDU is number 128.103.1.11,
a server SUN-2/120 machine running UNIX.


Host name or number: 
gibbs
Unknown host name

Host name or number: 
god
GODDARD.AI.SRI.COM is number 192.12.5.14,
a server SYMBOLICS-3600 machine running LISPM.

GODEL.EE.UTEXAS.EDU is number 128.83.1.83, 128.83.132.83,
a server SUN-2/120 machine running UNIX.

GODEL.HARVARD.EDU is number 128.103.1.10,
a server SUN-2/120 machine running UNIX.

GODIVA.ARPA is number 192.16.16.40,
a server CELERITY-C1200 machine running UNIX.

Godwit is number SU 61#10,
a user M68000 machine running UNIX.

GODZILLA.CS.UTEXAS.EDU is number 128.83.139.30,
a server SUN-3/160 machine running UNIX.


Host name or number: 
zeus
ZEUS is number 36.10.0.31,
a user MICROVAX machine running an unknown operating system.


Host name or number: 
athena
ATHENA.CSL.SRI.COM is number 192.12.33.10,
a server SYMBOLICS-3600 machine running LISPM.

ATHENA.MIT.EDU is number 18.72.0.39,
a server MICROVAX-II machine running UNIX.


Host name or number: 
aphrodite
APHRODITE.MIT.EDU is number 18.80.0.12,
a server VAX-11/750 machine running UNIX.


Host name or number: 
venus
VENUS is number 36.22.0.110,
a user MICROVAX machine running V.


Host name or number: 
jupiter
Unknown host name

Host name or number: 
vulcan
VULCAN.BBN.COM is a nickname for BBN-VULCAN.ARPA, which is number 128.11.0.12,
a server SUN-120 machine running UNIX.


Host name or number: 
hercules
Unknown host name

Host name or number: 
mars
MARS.CALTECH.EDU is number 192.12.18.19,
a server SUN-2/160 machine running UNIX.


Host name or number: 
ares
ARES.MIT.EDU is number 18.58.0.5,
a server VAX-11/750 machine running UNIX.


Host name or number: 
thor
THORALF.UTEXAS.EDU is number 128.83.1.205,
a server SYMBOLICS-3600 machine running LISPM.


Host name or number: 
odin
ODIN.CC.CMU.EDU is number 128.2.253.20,
a server VAX-11/750 machine running UNIX.

ODIN.WISC.EDU is number 128.105.2.2,
a server MICROVAX machine running UNIX.


Host name or number: 
freya
Unknown host name

Host name or number: 
loki
LOKI.BBN.COM is number 128.89.0.78,
a server SUN-100 machine running UNIX.


Host name or number: 
paris
PARIS.MIT.EDU is number 18.71.0.12,
a server VAX-11/750 machine running UNIX.


Host name or number: 
hector
HECTOR.MIT.EDU is number 18.71.0.13,
a server VAX-11/750 machine running UNIX.


Host name or number: 
priam
PRIAM.MIT.EDU is number 18.72.0.6,
a server VAX-11/750 machine running UNIX.


Host name or number: 
achilles
ACHILLES.MIT.EDU is number 18.72.0.8,
a server VAX-11/750 machine running UNIX.


Host name or number: 
macbeth
Macbeth is a nickname for MACBETH.STANFORD.EDU, which is number 36.21.0.13, SU 25#15,
a server SC-M3 machine running TOPS20.


Host name or number: 
lear
Lear is a nickname for LEAR.STANFORD.EDU, which is number 36.21.0.101, 36.48.0.1, SU 25#145, SU 60#1,
a server DEC-2065 machine running TOPS20.


Host name or number: 
othello
Othello is a nickname for OTHELLO.STANFORD.EDU, which is number 36.21.0.102, 36.48.0.2, SU 25#146, SU 60#2,
a server DEC-2065 machine running TOPS20.


Host name or number: 
hamlet
Hamlet is a nickname for HAMLET.STANFORD.EDU, which is number 36.21.0.103, 36.48.0.5, SU 25#147, SU 60#5,
a server DEC-2065 machine running TOPS20.


Host name or number: 
portia
PORTIA is number 36.21.0.20, SU 25#24,
a user VAX-8650 machine running UNIX.


Host name or number: 
macduff
MACDUFF is number 36.21.0.26,
a user MICROVAX machine running UNIX.


Host name or number: 
banquo
BANQUO is number 36.21.0.31,
a user SUN-3/75 machine running UNIX.


Host name or number: 
duncan
Unknown host name

Host name or number: 
cordelia
Unknown host name

Host name or number: 
turing
TURING is a nickname for CSLI.STANFORD.EDU, which is number 36.9.0.46, SU 11#56,
a user DEC-2060 machine running TOPS-20.


Host name or number: 
fermi
FERMI.UCHICAGO.EDU is number 128.135.4.14,
a server SUN machine running UNIX.


Host name or number: 
oppenheimer
Unknown host name

Host name or number: 
bethe
Unknown host name

Host name or number: 
wigner
Unknown host name

Host name or number: 
euler
EULER.DB.MCC.COM is number 192.12.59.30,
a server SUN-2/170 machine running UNIX.

EULER.MIT.EDU is number 18.87.0.2,
a server SUN machine running UNIX.

EULER.UCHICAGO.EDU is number 128.135.20.85,
a server RIDGE-32 machine running ROS.


Host name or number: 
bernouili
Unknown host name

Host name or number: 
spinoza
Unknown host name

Host name or number: 
moses
MOSES.ARPA is number 128.96.33.126,
a server VAX-11/750 machine running UNIX.


Host name or number: 
bach
BACH.Berkeley.EDU is number 128.32.135.1,
a server VAX-11/750 machine running UNIX.

BACH.EE.UTEXAS.EDU is number 128.83.132.85,
a server SUN-2/120 machine running UNIX.


Host name or number: 
brahms
BRAHMS.Berkeley.EDU is number 128.32.135.4,
a server VAX-11/750 machine running UNIX.


Host name or number: 
beethoven
Unknown host name

Host name or number: 
schubert
Unknown host name

Host name or number: 
voltaire
VOLTAIRE is number 36.22.0.101,
a user MICROVAX machine running ULTRIX.


Host name or number: 
hobbes
Unknown host name

Host name or number: 
keynes
KEYNES.UTEXAS.EDU is number 128.83.1.81,
a server SUN-2/120 machine running UNIX.


Host name or number: 
smith
SMITH.HARVARD.EDU is number 128.103.1.150,
a server XEROX-8010 machine running INTERLISP.


Host name or number: 
meese
Unknown host name

Host name or number: 
kissinger
Unknown host name

Host name or number: 
grant
Unknown host name

Host name or number: 
sherman
Unknown host name

Host name or number: